<html>
    <head>
        <title></title>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="../style.css">
    </head>
    <body>
        <div class="text">
        <h2>Verification-menu</h2>
        In the verification-menu you have different possibilities after you opened a file
        within the program. Right after choosing a function of the program, you will be asked,
        which test-file you want to use.<br /><br />
        The function "Numerated output" takes the input from the opened file, converts it
        into an internal program format and numerates each command. This functions works with
        several number layers.<br /><br />
        The function "Trace" and "Propagation" are described in an extra chapter.<br /><br />
        The function "To prove" generates you the still missing connections between two
        assertions after the propagation. You only have to use the consequence rule.<br />
        </div>
    </body>
</html>
